<html>
<head><meta charset="utf-8"><title>EndRegion · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html">EndRegion</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="147448881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147448881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147448881">(Nov 10 2018 at 21:37)</a>:</h4>
<p>Would anyone object to the removal of <code>mir::StatementKind::EndRegion</code>? The only reason they have for existing now is if someone wants to inspect them with -Zdump-mir (and -Zemit-end-regions).</p>



<a name="147452106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147452106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147452106">(Nov 10 2018 at 23:15)</a>:</h4>
<p>Wow, so much code from lexical MIR borrowck is still around.</p>



<a name="147460708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147460708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147460708">(Nov 11 2018 at 03:16)</a>:</h4>
<p>I got foiled by Zulip for the first time :-)</p>



<a name="147460716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147460716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147460716">(Nov 11 2018 at 03:17)</a>:</h4>
<p>I was suggesting that you just submit the PR to remove it with a taunting commit message; make them prove why it's still useful ;-)</p>



<a name="147480503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147480503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147480503">(Nov 11 2018 at 15:13)</a>:</h4>
<p>could the possible tools to visualize regions rely on <code>EndRegion</code> ? <a href="http://erik.vestera.as/rustvis/specs" target="_blank" title="http://erik.vestera.as/rustvis/specs">this</a> or <a href="https://internals.rust-lang.org/t/borrow-visualizer-for-the-rust-language-service/4187" target="_blank" title="https://internals.rust-lang.org/t/borrow-visualizer-for-the-rust-language-service/4187">that</a></p>



<a name="147490156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147490156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147490156">(Nov 11 2018 at 20:26)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> I think miri might use EndRegion for its modeling of Invalidating  references; cc <span class="user-mention" data-user-id="120791">@RalfJ</span> and <span class="user-mention" data-user-id="124288">@Oli</span></p>



<a name="147490542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147490542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147490542">(Nov 11 2018 at 20:38)</a>:</h4>
<p>I think that's they've moved away from them with <a href="https://github.com/rust-lang/rust/issues/55316" target="_blank" title="https://github.com/rust-lang/rust/issues/55316">#55316</a> (I guess it might not be completely done on the MIRI side)</p>



<a name="147522020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147522020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147522020">(Nov 12 2018 at 12:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> indeed, <code>EndRegion</code> is no longer used by miri</p>



<a name="147522035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147522035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147522035">(Nov 12 2018 at 12:20)</a>:</h4>
<p>okay then kill it with fire</p>



<a name="147522079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147522079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147522079">(Nov 12 2018 at 12:20)</a>:</h4>
<p>please do :)</p>



<a name="147704269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147704269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147704269">(Nov 14 2018 at 22:19)</a>:</h4>
<p><span class="emoji emoji-1f525" title="fire">:fire:</span> <a href="https://github.com/rust-lang/rust/issues/55959" target="_blank" title="https://github.com/rust-lang/rust/issues/55959">#55959</a></p>



<a name="147705301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147705301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147705301">(Nov 14 2018 at 22:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> "Now that lexical MIR borrowck is gone, there's no need to store Regions<br>
unnecessarily." -- what is "lexical MIR borrowck"?</p>



<a name="147705317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147705317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147705317">(Nov 14 2018 at 22:38)</a>:</h4>
<p>oh right</p>



<a name="147705319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147705319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147705319">(Nov 14 2018 at 22:38)</a>:</h4>
<p>that's like Ye Olden Days borrowck</p>



<a name="147705322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147705322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147705322">(Nov 14 2018 at 22:38)</a>:</h4>
<p>from before we made NLL mandatory</p>



<a name="147705326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147705326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147705326">(Nov 14 2018 at 22:38)</a>:</h4>
<p>/me forgot about that phase altogether</p>



<a name="147728497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147728497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147728497">(Nov 15 2018 at 08:44)</a>:</h4>
<p>I assume this means lexical <em>MIR</em> borrowck? The old AST/HIR lexical borrowck is still there, right? (Though it's days are numbered I hear.)</p>



<a name="147731343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/EndRegion/near/147731343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/EndRegion.html#147731343">(Nov 15 2018 at 09:52)</a>:</h4>
<p>Correct</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>